คู่มือการเขียนโปรแกรม C++ เล่มที่ 5: กลไกการจัดการการคัดลอก

การควบคุมวงจรชีวิตของวัตถุในภาษา C++ หมายถึง การควบคุมกลไกพื้นฐานของการดำรงอยู่ภายใน ฮีพและสแต็กการจัดการการคัดลอกกำหนดวิธีที่คลาสจัดการกับ อายุการใช้งาน ผ่านสองกระบวนการ: คือ คอนสตรักเตอร์สำหรับการคัดลอก และ อ็อปเรเตอร์การคัดลอกแบบมอบหมาย.

1. การกำหนดค่าเริ่มต้นเทียบกับการมอบหมาย

การกำหนดค่าเริ่มต้นโดยตรง (เช่น) string dots(10, '.')) จะเรียกคอนสตรักเตอร์โดยตรง อย่างไรก็ตาม การกำหนดค่าเริ่มต้นแบบคัดลอก (string s2 = dots) ขึ้นอยู่กับคอนสตรักเตอร์สำหรับการคัดลอก แตกต่างจากการกำหนดค่าเริ่มต้น การมอบหมาย (trans = accum) จะแทนที่วัตถุเดิมโดยใช้ อ็อปเรเตอร์=. ข้อจำกัดสำคัญ: พารามิเตอร์ของคอนสตรักเตอร์สำหรับการคัดลอกต้องเป็นตัวแปรอ้างอิง (const Foo&); ถ้าไม่ใช่จะทำให้การส่งอาร์กิวเมนต์ด้วยค่า ทำให้เกิด ลูปการเรียกซ้ำแบบไม่สิ้นสุด การเรียกคัดลอกซ้ำกันไม่สิ้นสุด

2. บทบาทของการสร้างขึ้นเอง

หากคุณไม่ได้กำหนดเมมเบอร์เหล่านี้ คอมไพเลอร์จะสร้าง รูปแบบที่สร้างขึ้นเอง เวอร์ชันที่ทำการคัดลอกแบบสมาชิกต่อสมาชิก ระวัง: แม้ว่าจะเพียงพอสำหรับชนิดข้อมูลง่าย ๆ แต่กลับมักล้มเหลวเมื่อใช้กับคลาสที่จัดการหน่วยความจำแบบไดนามิก ทำให้เกิดการชี้ไปยังที่ว่างเปล่า (dangling pointer) หรือการปล่อยหน่วยความจำซ้ำ (double-free)

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Why must the first parameter of a copy constructor be a reference type (usually const)?

To allow the compiler to optimize the code into a move operation.

To prevent infinite recursion during parameter initialization.

Because pointers are not allowed in constructor signatures.

To ensure the object is placed on the heap rather than the stack.

QUESTION 2

What is the primary difference between Copy Initialization and Direct Initialization?

Direct initialization uses the assignment operator; copy initialization does not.

Copy initialization always requires the 'new' keyword.

Direct initialization asks the compiler to find the best constructor; copy initialization requires the copy constructor.

There is no functional difference; they are just different syntax for the same call.

QUESTION 3

Assume 'numbered' has a synthesized copy constructor that copies a unique ID 'mysn'. What happens if you run: numbered a, b = a, c = b;?

Each object (a, b, c) will have a unique 'mysn' value.

The program will fail to compile because IDs cannot be copied.

All three objects will share the exact same 'mysn' value.

Object 'a' will be reset to zero after the copy.

QUESTION 4

Which of the following would trigger a compilation error if the constructor 'vector<int>(int size)' is marked 'explicit'?

vector<int> v(10);

vector<int> v = 10;

f(vector<int>(10));

vector<int>* p = new vector<int>(10);

QUESTION 5

What should a well-behaved copy-assignment operator usually return?

void

A copy of the current object by value.

A reference to the left-hand operand (*this).

The memory address of the right-hand operand.